Force-directed scheduling in automatic data path synthesis

The HAL system performs data path synthesis using a new scheduling algorithm that 1s part Of an interdependent scheduling and allocation scheme. This scheme uses an BStl-mate of the hardware allocation to guide and optimiza the scheduling subtask. The allocation information includes the number. type. speed and cost of hardware modules as well as the associated multiplexer and interconnect costs. The iterative force-directed scheduling algorithm attempts to balance the distribution of operations that make use Of the same hardware resources:. Every feasible control step assignment is evaluated at each iteration, for a11 operations.. The associated side-effects on all the predecessor and successor operations are taken Into account.. All the decisions are global.. The algorithm has O(n*) complexity. We review and compare existing scheduling techniques. Mod-erate and difficult examples are used to illustrate the ef-fectiveness of the approach. 1

Mass spectrometric gas composition measurements associated with jet interaction tests in a high-enthalpy wind tunnel

Knowledge of test gas composition is important in wind-tunnel experiments measuring aerothermodynamic interactions. This paper describes measurements made by sampling the top of the test section during runs of the Langley 7-Inch High-Temperature Tunnel. The tests were conducted to determine the mixing of gas injected from a flat-plate model into a combustion-heated hypervelocity test stream and to monitor the CO2 produced in the combustion. The Mass Spectrometric (MS) measurements yield the mole fraction of N2 or He and CO2 reaching the sample inlets. The data obtained for several tunnel run conditions are related to the pressures measured in the tunnel test section and at the MS ionizer inlet. The apparent distributions of injected gas species and tunnel gas (CO2) are discussed relative to the sampling techniques. The measurements provided significant real-time data for the distribution of injected gases in the test section. The jet N2 diffused readily from the test stream, but the jet He was mostly entrained. The amounts of CO2 and Ar diffusing upward in the test section for several run conditions indicated the variability of the combustion-gas test-stream composition

Algebraic totality, towards completeness

Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give an interpretation of LL based on linear algebra. Second, thanks to separation properties, we can introduce an algebraic notion of totality candidate in the framework of linearly topologised spaces: a totality candidate is a closed affine subspace which does not contain 0. We show that finiteness spaces with totality candidates constitute a model of classical LL. Finally, we give a barycentric simply typed lambda-calculus, with booleans ${\mathcal{B}}$ and a conditional operator, which can be interpreted in this model. We prove completeness at type ${\mathcal{B}}^n\to{\mathcal{B}}$ for every n by an algebraic method

Cross-Over between universality classes in a magnetically disordered metallic wire

In this article we present numerical results of conduction in a disordered quasi-1D wire in the possible presence of magnetic impurities. Our analysis leads us to the study of universal properties in different conduction regimes such as the localized and metallic ones. In particular, we analyse the cross-over between universality classes occurring when the strength of magnetic disorder is increased. For this purpose, we use a numerical Landauer approach, and derive the scattering matrix of the wire from electron's Green's function.Comment: Final version, accepted for publication in New Journ. of Physics, 27 pages, 28 figures. Replaces the earlier shorter preprint arXiv:0910.427

Completed cohomology of Shimura curves and a p-adic Jacquet-Langlands correspondence

We study indefinite quaternion algebras over totally real fields F, and give an example of a cohomological construction of p-adic Jacquet-Langlands functoriality using completed cohomology. We also study the (tame) levels of p-adic automorphic forms on these quaternion algebras and give an analogue of Mazur's `level lowering' principle.Comment: Updated version. Contains some minor corrections compared to the published versio

The play's the thing

For very understandable reasons phenomenological approaches predominate in the field of sensory urbanism. This paper does not seek to add to that particular discourse. Rather it takes Rorty’s postmodernized Pragmatism as its starting point and develops a position on the role of multi-modal design representation in the design process as a means of admitting many voices and managing multidisciplinary collaboration. This paper will interrogate some of the concepts underpinning the Sensory Urbanism project to help define the scope of interest in multi-modal representations. It will then explore a range of techniques and approaches developed by artists and designers during the past fifty years or so and comment on how they might inform the question of multi-modal representation. In conclusion I will argue that we should develop a heterogeneous tool kit that adopts, adapts and re-invents existing methods because this will better serve our purposes during the exploratory phase(s) of any design project that deals with complexity

Search for exoplanets in M31 with pixel-lensing and the PA-99-N2 event revisited

Several exoplanets have been detected towards the Galactic bulge with the microlensing technique. We show that exoplanets in M31 may also be detected with the pixel-lensing method, if telescopes making high cadence observations of an ongoing microlensing event are used. Using a Monte Carlo approach we find that the mean mass for detectable planetary systems is about $2 M_{\rm {J}}$. However, even small mass exoplanets ($M_{\rm P} < 20 M_{\oplus}$) can cause significant deviations, which are observable with large telescopes. We reanalysed the POINT-AGAPE microlensing event PA-99-N2. First, we test the robustness of the binary lens conclusion for this light curve. Second, we show that for such long duration and bright microlensing events, the efficiency for finding planetary-like deviations is strongly enhanced with respect to that evaluated for all planetary detectable events.Comment: 14 pages, 8 figures. Paper presented at the "II Italian-Pakistani Workshop on Relativistic Astrophysics, Pescara, July 8-10, 2009. To be published in a special issue of General Relativity and Gravitation (eds. F. De Paolis, G.F.R. Ellis, A. Qadir and R. Ruffini

Design of the Subpopulations and Intermediate Outcome Measures in COPD (SPIROMICS) AIR Study.

IntroductionPopulation-based epidemiological evidence suggests that exposure to ambient air pollutants increases hospitalisations and mortality from chronic obstructive pulmonary disease (COPD), but less is known about the impact of exposure to air pollutants on patient-reported outcomes, morbidity and progression of COPD.Methods and analysisThe Subpopulations and Intermediate Outcome Measures in COPD (SPIROMICS) Air Pollution Study (SPIROMICS AIR) was initiated in 2013 to investigate the relation between individual-level estimates of short-term and long-term air pollution exposures, day-to-day symptom variability and disease progression in individuals with COPD. SPIROMICS AIR builds on a multicentre study of smokers with COPD, supplementing it with state-of-the-art air pollution exposure assessments of fine particulate matter, oxides of nitrogen, ozone, sulfur dioxide and black carbon. In the parent study, approximately 3000 smokers with and without airflow obstruction are being followed for up to 3 years for the identification of intermediate biomarkers which predict disease progression. Subcohorts undergo daily symptom monitoring using comprehensive daily diaries. The air monitoring and modelling methods employed in SPIROMICS AIR will provide estimates of individual exposure that incorporate residence-specific infiltration characteristics and participant-specific time-activity patterns. The overarching study aim is to understand the health effects of short-term and long-term exposures to air pollution on COPD morbidity, including exacerbation risk, patient-reported outcomes and disease progression.Ethics and disseminationThe institutional review boards of all the participating institutions approved the study protocols. The results of the trial will be presented at national and international meetings and published in peer-reviewed journals

First Microlensing Events From The MEGA Survey Of M31

We present the first M31 candidate microlensing events from the Microlensing Exploration of the Galaxy and Andromeda (MEGA) survey. MEGA uses several telescopes to detect microlensing towards the nearby Andromeda galaxy, M31, in order to establish whether massive compact objects are a significant contribution to the mass budget of the dark halo of M31. The results presented here are based on observations with the Isaac Newton Telescope on La Palma, during the 1999/00 and 2000/01 observing seasons. In this data set, 14 variable sources consistent with microlensing have been detected, 12 of which are new and 2 have been reported previously by the POINT-AGAPE group. A preliminary analysis of the spatial and timescale distributions of the candidate events support their microlensing nature. We compare the spatial distributions of the candidate events and of long-period variable stars, assuming the chances of finding a long-period variable and a microlensing event are comparable. The spatial distribution of our candidate microlensing events is more far/near side asymmetric than expected from the detected long-period variable distribution. The current analysis is preliminary and the asymmetry not highly significant, but the spatial distribution of candidate microlenses is suggestive of the presence of a microlensing halo.Comment: revised version, 16 pages, 12 figures, submitted to Astronomy & Astrophysic